Matthew 2

Results: 811



#Item
31

A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

Add to Reading List

Source URL: software.imdea.org

- Date: 2016-09-06 10:47:15
    32

    The Racket Reference Version 5.2 Matthew Flatt and PLT November 8, 2011

    Add to Reading List

    Source URL: download.racket-lang.org

    - Date: 2014-03-03 20:14:12
      33

      Semantic Casts Contracts and Structural Subtyping in a Nominal World Robert Bruce Findler, Matthew Flatt, and Matthias Felleisen 1 2 3

      Add to Reading List

      Source URL: www.cs.utah.edu

      - Date: 2004-04-03 19:39:33
        34

        Scheme with Classes, Mixins, and Traits Matthew Flatt1 , Robert Bruce Findler2 , and Matthias Felleisen3 1 2 3

        Add to Reading List

        Source URL: www.cs.utah.edu

        - Date: 2006-08-25 13:33:58
          35

          Proving Linearizability Using Partial Orders Artem Khyzha1 , Mike Dodds2 , Alexey Gotsman1 , and Matthew Parkinson3 1 IMDEA Software Institute, Madrid, Spain 2

          Add to Reading List

          Source URL: software.imdea.org

          - Date: 2017-01-21 10:32:08
            36

            Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow

            Add to Reading List

            Source URL: web.stanford.edu

            - Date: 2017-05-03 11:15:27
              37

              Journal of Economic Perspectives—Volume 31, Number 2—Spring 2017—Pages 211–236 Social Media and Fake News in the 2016 Election Hunt Allcott and Matthew Gentzkow

              Add to Reading List

              Source URL: web.stanford.edu

              - Date: 2017-05-03 11:15:27
                38

                A Transportation Lp Distance for Signal Analysis Matthew Thorpe∗1 , Serim Park†1 , Soheil Kolouri‡3 , Gustavo K. Rohde§2 , and Dejan Slepˇcev¶1 1 Carnegie Mellon University, Pittsburgh, PA 15213, USA University

                Add to Reading List

                Source URL: arxiv.org

                - Date: 2016-09-28 20:49:25
                  39

                  The Epiphany The Epiphany January 6, 2013 • Matthew 2: 1-12

                  Add to Reading List

                  Source URL: download.elca.org

                  - Date: 2013-09-05 10:58:59
                    40

                    Machine learning classifiers and fMRI: a tutorial overview Francisco Pereira1 , Tom Mitchell2 and Matthew Botvinick1 1 Princeton Neuroscience Institute/Psychology Department, Princeton University 2

                    Add to Reading List

                    Source URL: www.princeton.edu

                    - Date: 2010-02-04 01:27:12
                      UPDATE